xen/arm: gic-v3: Use the domain redistributor information to make the DT node
authorJulien Grall <julien.grall@citrix.com>
Wed, 1 Jul 2015 11:01:05 +0000 (12:01 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Fri, 3 Jul 2015 09:07:14 +0000 (10:07 +0100)
commit8de5a636958a6f82c3fb4f0e727c415805a97867
tree10d0fd63fee664f4d72cf4ffdd48de3a68f496c6
parent02385fde22ab77b27e98a6afd13a98184bbb95a8
xen/arm: gic-v3: Use the domain redistributor information to make the DT node

It's not necessary to get from the hardware DT the redistributor
informations again. We already have it stored in the gic_info and
the domain.

Use the latter to be consistent with the rest of the function.

Signed-off-by: Julien Grall <julien.grall@citrix.com>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
xen/arch/arm/gic-v3.c